Method of resolution of 3SAT in polynomial time

Presentation of a Method for determining whether a problem 3Sat has solution, and if yes to find one, in time max O(n 15 ). Is thus proved that the problem 3Sat is fully resolved in polynomial time and therefore that it is in P, by the work of Cook and Levin, and can transform a SAT problem in a 3Sat in polynomial time (ref. Karp), it follows that P = NP. Open Source program is available at http://www.visainformatica.it/3sat Abstract (in Italiano) Presentazione di un Metodo per determinare se un problema 3Sat ha soluzione, e se si trovarne una, che richiede un tempo non superiore a O(n 15 ). Viene così provato che il problema 3Sat è risolto in un tempo polinomiale e quindi che lo stesso è in P, dai lavori di Cook e Levin, e dal poter trasformare un problema SAT in uno 3Sat in un tempo polinomiale (rif. Karp), ne segue che P = NP. E’ disponibile, Open Source, un programma che usa il Metodo per risolvere un problema 3Sat su sito http://www.visainformatica.it/3satin Italiano) Presentazione di un Metodo per determinare se un problema 3Sat ha soluzione, e se si trovarne una, che richiede un tempo non superiore a O(n 15 ). Viene così provato che il problema 3Sat è risolto in un tempo polinomiale e quindi che lo stesso è in P, dai lavori di Cook e Levin, e dal poter trasformare un problema SAT in uno 3Sat in un tempo polinomiale (rif. Karp), ne segue che P = NP. E’ disponibile, Open Source, un programma che usa il Metodo per risolvere un problema 3Sat su sito http://www.visainformatica.it/3sat My English is bad, so this work is essential. I hope my page is enough clear, I hope someone wants to rewrite in true English. Introduction Everything comes from intuition and coincidence Intuition: 3Sat problem is research of True Value that making TRUE all Clauses of problem. With n Variables we find 8n*(n-1)*(n-2)/6 Clauses, this Clauses are not all in 3Sat [max 7/8 are in 3Sat]. We post in ~3Sat Clauses that not is in 3Sat. We move one Clauses from ~3Sat to 3Sat, if number of solutions not decrease we leave Clause in 3Sat else no. We end if not is possible move Clause from ~3Sat to 3Sat because we lost solutions. Now we can find one solution, n-tuple of Literal. This the intuition: minimize Clauses in ~3Sat. Coincidence: One operation move, in polynomial time, Clauses from ~3Sat to 3Sat. When it end we have in ~3Sat Clauses and in all solution triad of True Value. This the coincidence: number of Clauses in ~3Sat is equal number of tried of True Values, also when we not have Clauses because not have tried [not have solution]. Really funny, and I not believe in coincidence..